Complete characterization of functions satisfying the conditions of Arrow's theorem

Arrow’s theorem implies that a social welfare function satisfying Transitivity, the Weak Pareto Principle (Unanimity) and Independence of Irrelevant Alternatives (IIA) must be dictatorial. When non-strict preferences are also allowed, a dictatorial social welfare function is defined as a function for which there exists a single voter whose strict preferences are followed. This definition allows for many different dictatorial functions, since non-strict preferences of the dictator are not necessarily followed. In particular, we construct examples of dictatorial functions which do not satisfy Transitivity and IIA. Thus Arrow’s theorem, in the case of nonstrict preferences, does not provide a complete characterization of all social welfare functions satisfying Transitivity, the Weak Pareto Principle, and IIA. The main results of this article provide such a characterization for Arrow’s theorem, as well as for follow up results by Wilson. In particular, we strengthen Arrow’s and Wilson’s result by giving an exact if and only if condition for a function to satisfy Transitivity and IIA (and the Weak Pareto Principle). Additionally, we derive formulae for the number of functions satisfying these conditions.